Nuprl Lemma : append-nil
0,22
postcript
pdf
l
:Top List. (
l
@ nil) ~
l
latex
Definitions
x
:
A
.
B
(
x
)
,
t
T
,
Top
Lemmas
top
wf
origin
l:Top List. (l @ nil) ~ l l:Top List. (l @ nil) ~ l x:A. B(x)
T